Arbitrary Rank Types